Message passing

Results: 973



#Item
31University of Oxford Department of Computer Science Doctor of Philosophy in Computer Science Verification of Message Passing

University of Oxford Department of Computer Science Doctor of Philosophy in Computer Science Verification of Message Passing

Add to Reading List

Source URL: concurrency.informatik.uni-kl.de

- Date: 2016-06-10 12:02:33
    32MESSAGE OF CONDOLENCES OF THE ASEAN LEADERS ON THE PASSING OF HIS MAJESTY KING BHUMIBOL ADULYADEJ OF THE KINGDOM OF THAILAND 14 OctoberWe have learned with profound sadness of the passing of His Majesty King

    MESSAGE OF CONDOLENCES OF THE ASEAN LEADERS ON THE PASSING OF HIS MAJESTY KING BHUMIBOL ADULYADEJ OF THE KINGDOM OF THAILAND 14 OctoberWe have learned with profound sadness of the passing of His Majesty King

    Add to Reading List

    Source URL: asean.org

    - Date: 2016-10-14 01:32:34
      33PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp

      PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp

      Add to Reading List

      Source URL: staff.um.edu.mt

      - Date: 2011-05-16 14:07:07
        34NPB-MPJ: NAS Parallel Benchmarks Implementation for Message-Passing in Java Dami´an A. Mall´on, Guillermo L. Taboada, Juan Touri˜no, and Ram´on Doallo Computer Architecture Group Dept. of Electronics and Systems, Uni

        NPB-MPJ: NAS Parallel Benchmarks Implementation for Message-Passing in Java Dami´an A. Mall´on, Guillermo L. Taboada, Juan Touri˜no, and Ram´on Doallo Computer Architecture Group Dept. of Electronics and Systems, Uni

        Add to Reading List

        Source URL: www.des.udc.es

        - Date: 2010-08-25 16:30:33
          35DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 9, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standar

          DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 9, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standar

          Add to Reading List

          Source URL: meetings.mpi-forum.org

          - Date: 2015-02-11 14:00:02
            36Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries∗ Adrian Francalanza

            Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries∗ Adrian Francalanza

            Add to Reading List

            Source URL: www.edsko.net

            - Date: 2016-08-23 03:13:56
              37Instructions for Preparing the MPI Standard Document Message Passing Interface Forum March 15,

              Instructions for Preparing the MPI Standard Document Message Passing Interface Forum March 15,

              Add to Reading List

              Source URL: meetings.mpi-forum.org

              - Date: 2014-12-09 15:00:01
                38DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 14, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standa

                DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 14, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standa

                Add to Reading List

                Source URL: meetings.mpi-forum.org

                - Date: 2015-02-14 19:30:02
                  39DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 12, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standa

                  DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 12, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standa

                  Add to Reading List

                  Source URL: meetings.mpi-forum.org

                  - Date: 2015-02-13 02:00:02
                    40DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum January 28, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standar

                    DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum January 28, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standar

                    Add to Reading List

                    Source URL: meetings.mpi-forum.org

                    - Date: 2015-02-02 11:40:02